TSTP Solution File: DAT257^1 by SInE---0.4